Privtrans: Automatically Partitioning Programs for Privilege Separation David Brumley and Dawn Song Carnegie Mellon University {david.brumley,dawn.song}@cs.cmu.edu ∗ Abstract Privilege separation partitions a single pr

Source URL: users.ece.cmu.edu

Connectionist Models of Language Processing Douglas L. T. Rohde Massachusetts Institute of Technology David C. Plaut Carnegie Mellon University and the Center for the Neural Basis of Cognition March 14, 2003

Source URL: tedlab.mit.edu

Q: Exploit Hardening Made Easy Edward J. Schwartz, Thanassis Avgerinos and David Brumley Carnegie Mellon University, Pittsburgh, PA {edmcman, thanassis, dbrumley}@cmu.edu

Source URL: users.ece.cmu.edu

• Computing
• Computer security
• Software bugs
• Address space layout randomization
• Gadget
• Buffer overflow
• Return-to-libc attack
• Shellcode
• Instruction selection
• Position-independent code
• NOP
• Return-oriented programming

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Source URL: users.ece.cmu.edu

• Theoretical computer science
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Complexity classes
• KeY
• IP
• NP
• PP
• Algorithm

TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract

Source URL: users.ece.cmu.edu

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• Concurrent programming languages
• C++
• Decompiler
• Low-level programming language
• Type system
• Type inference
• Assembly language

Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U

Source URL: users.ece.cmu.edu

• Mathematics
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Errors and residuals
• Function
• Science and technology

128 Book Reviews steel magnate and philanthropist Andrew Carnegie created the Carnegie unit used

Source URL: www.journalofplay.org

• Human development
• Education
• Play
• Childhood
• Learning
• Child development
• Developmental psychology
• Ethology
• Recess
• Early childhood education
• David Elkind
• Kathy Hirsh-Pasek

Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Source URL: users.ece.cmu.edu

• Software
• Software testing
• Automated theorem proving
• Concolic testing
• Symbolic execution
• Software metrics
• Control flow graph
• KeY
• Code coverage
• Algorithm
• Data-flow analysis
• GNU Core Utilities

Cuckoo Filter: Practically Better Than Bloom Bin Fan, David G. Andersen, Michael Kaminsky† , Michael D. Mitzenmacher‡ Carnegie Mellon University, † Intel Labs, ‡ Harvard University {binfan,dga}@cs.cmu.edu, michae

Source URL: conferences2.sigcomm.org

• Information science
• Hashing
• Information retrieval
• Search algorithms
• Computer programming
• Bloom filter
• Cuckoo hashing
• Hash table
• Hash function
• Quotient filter
• Hash
• Linear probing

Integrating Multiple Data Representations For Spatial Databases David M. McKeown, Jr. Robert Chi Tau Lai Department of Computer Science Carnegie-Mellon University

Source URL: mapcontext.com

• Web mapping
• Data management
• Geographic information system
• Spatial database
• Database
• Cartography
• GIS software
• Object-based spatial database
• Spatial analysis